221. Temporal logic: from ancient ideas to artificial intelligence
پدیدآورنده : Ohrstrom, Peter.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4
.
O37
1995
222. The Acquisition of Symbolic Skills
پدیدآورنده : edited by Don Rogers, John A. Sloboda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linguistics.,Psycholinguistics.
223. The Fluency Construct :
پدیدآورنده : edited by Kelli D. Cummings, Yaacov Petscher
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Applied linguistics.,Child psychology.,Curriculum-based assessment.,Educational psychology.,Language and education.,Neuropsychology.,Psychology.,School psychology.,Social service.,Applied Linguistics.,Child and School Psychology.,Educational Psychology.,Language Education.,Social Work.
رده :
LB3060
.
32
.
C74
224. The Formal Complexity of Natural Language
پدیدآورنده : edited by Walter J. Savitch, Emmon Bach, William Marsh, Gila Safran-Naveh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
225. <The> Language of Mathematics
پدیدآورنده : \ Mohan Ganesalingam.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational linguistics,Mathematical Linguistics,Computer science,زبانشناسی کامپیوتری,زبانشناسی ریاضی,کامپیوتر,a03,a04,a05,a03,a04,a05
رده :
P
98
.
G32L32
2013
E-Book
,
226. The Language of Physics
پدیدآورنده : by Elizabeth Garber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linguistics.,Mathematical physics.,Physics.
227. The Mathematics of syntactic structure :
پدیدآورنده : edited by Hans-Peter Kolb, Uwe Mönnich
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics,Generative grammar,Grammar, Comparative and general-- Syntax,Mathematical linguistics
رده :
P291
.
M354
1999
228. <The> Rate Of Linguistic Change: Limits Of The Application Of Mathematical Methods in Linguistics
پدیدآورنده : / Istvan Fodor
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
229. <The> Routledge Companion to Philosophy of Language
پدیدآورنده : \ edited by Gillian Russell and Delia Graff Fara
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and languages,زبان, -- Philosophy, -- فلسفه,a03,a03
رده :
P106
.
R75
2015
230. The Semantic Web - ISWC 2018 :
پدیدآورنده : edited by Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial Intelligence (incl. Robotics),Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet),Language Translation and Linguistics.,Mathematical Logic and Formal Languages.,Anwendungssystem.,Datenverwaltung.,Ontologie (Wissensverarbeitung),Semantic Web.,Web Services.,Wissensmanagement.
رده :
QA76
.
9
.
D3
231. The Theory of Partial Algebraic Operations
پدیدآورنده : by E. S. Ljapin, A. E. Evseev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Coding theory.,Functional analysis.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
232. The Universal Turing Machine A Half-Century Survey
پدیدآورنده : edited by Rolf Herken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Mathematics.
233. <The> calculus of linguistic observations
پدیدآورنده : / by Gustav Herdan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematical linguistics.,Information theory.
رده :
P123
.
H4
234. The development of modern logic
پدیدآورنده : edited by Leila Haaparanta
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : History ، Logic
رده :
BC15
.
D48
2009
235. The elements of mathematical semantics /
پدیدآورنده : by Maurice V. Aldridge
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categorial grammar,Language and logic,Mathematical linguistics,Pragmatics,Semantics-- Mathematical models
رده :
P325
.
5
.
M36
A43
1992
236. The mathematical theory of context free languages
پدیدآورنده : Ginsburg, Seymour
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Mathematical linguistics , Sequential machine theory
رده :
QA
267
.
5
.
S4
G5
237. The mathematical theory of context free languages
پدیدآورنده : Ginsburg , Seymour ,7291-
موضوع : ، Mathematical linguistics,، Sequential machine theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
238. Themes from Wittgenstein and Quine /
پدیدآورنده : edited by Kai Büttner, Florian Demont, David Dolby, Anne-Katrin Schlegel (special topic I: Wittgenstein) and Dirk Greimann (special topic II: Quine)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Quine, W. V., (Willard Van Orman)-- Criticism and interpretation,Wittgenstein, Ludwig,1889-1951-- Criticism and interpretation,Analysis (Philosophy)
رده :
B808
.
5
.
T54
2014
239. Time Series Analysis of Discourse :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Discourse analysis-- Mathematical models, Case studies.,Psycholinguistics.,Time-series analysis.,Discourse analysis-- Mathematical models.,LANGUAGE ARTS & DISCIPLINES / General.,Psycholinguistics.,Time-series analysis.
رده :
P302
.
6
240. Truth or Consequences :
پدیدآورنده : edited by J. Michael Dunn, Anil Gupta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1990